There is a growing interest in adopting object technologies for thedevelopment of real-time control systems. Several commercial tools, currentlyavailable, provide object-oriented modeling and design support for real-timecontrol systems. While these products provide many useful facilities, such asvisualization tools and automatic code generation, they are all weak inaddressing the central characteristic of real-time control systems design,i.e., providing support for a designer to reason about timeliness properties.We believe an approach that integrates the advancements in both object modelingand design methods and real-time scheduling theory is the key to successful useof object technology for real-time software. Surprisingly several pastapproaches to integrate the two either restrict the object models, or do notallow sophisticated schedulability analysis techniques. This study shows howschedulability analysis can be integrated with UML for Real-Time (UML-RT) todeal with timing properties in real time control systems. More specifically, wedevelop the schedulability and feasibility analysis modeling for the externalmessages that may suffer release jitter due to being dispatched by a tickdriven scheduler in real-time control system and we also develop thescheduliablity modeling for sporadic activities, where messages arrivesporadically then execute periodically for some bounded time. This method canbe used to cope with timing constraints in realistic and complex real-timecontrol systems. Using this method, a designer can quickly evaluate the impactof various implementation decisions on schedulability. In conjunction withautomatic code-generation, we believe that this will greatly streamline thedesign and development of real-time control systems software.
展开▼